Record of attempts to find examples:
(COA-MAP-REPLACE2-E-ALGS compiling)
(COA-MAP-REPLACE2-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
-------
 An ex ( sought) is: 
MAP-REPLACE2-BAG-OF-STRUCS&BAG-OF-STRUCS-MAP-REPLACE2-BAG-OF-STRUCS&INT-
**SET-STRUC-PROJ2
+----
 Name of new Being is too long:
 MR2- BAG-OF-STRUCS & 
BAG-OF-STRUCS-MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-J
**OIN

+-+----------+----
 Name of new Being is too long:
 MR2- BAG-OF-STRUCS & 
BAG-OF-STRUCS-MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-J
**OIN

+-----------+--
GC: 8
13978, 13978 FREE WORDS
--------
 Name of new Being is too long:
 MR2- BAG-OF-STRUCS & 
BAG-OF-STRUCS-MAP-REPLACE2-BAG-OF-STRUCS&LIST-STRUC-COMPOSE-IDENTITY&MAP
**-JOIN

+---------------------
 Name of new Being is too long:
 MR2- BAG-OF-STRUCS & 
BAG-OF-STRUCS-MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-COMPOSE-PROJ2&IDENTI
**TY

++---------+---------+------+--+-----------------------------+----+

 Found 15 examples ( and 127 non-exs),  in 38.195 secs.
 A nice ratio of exs/non-exs was encountered for COA-MAP-REPLACE2
 Won't try to create a restricted interesting version of 
COA-MAP-REPLACE2.

 Filled in examples of COA-MAP-REPLACE2.
       0 examples existed originally on COA-MAP-REPLACE2.
       15 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (BAG-OF-STRUCS MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2

MAP-REPLACE2-BAG-OF-STRUCS&BAG-OF-STRUCS-MAP-REPLACE2-BAG-OF-STRUCS&INT-
**SET-STRUC-PROJ2)

      (BAG-OF-STRUCS 
MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-JOIN 
MR2-BAG-OF-STRU&BAG-OF-STRU-MAP-REPL-BAG-OF-LIST&SET-STRU-COMP-IDEN&MAP-
**JOIN)

      (SET-STRUC PROJ2 MAP-REPLACE2-SET-STRUC&SET-STRUC-PROJ2)
      (BAG-OF-LISTS COMPOSE-PROJ2&IDENTITY 
MAP-REPLACE2-BAG-OF-LISTS&BAG-OF-LISTS-COMPOSE-PROJ2&IDENTITY)
      (BAG-OF-STRUCS 
MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-JOIN 
MR2-BAG-OF-STRU&BAG-OF-STRU-MAP-REPL-BAG-OF-LIST&SET-STRU-COMP-IDEN&MAP-
**JOIN-1)

      (OSET-STRUC PROJ2 MAP-REPLACE2-OSET-STRUC&OSET-STRUC-PROJ2)
      (BAG-OF-STRUCS 
MAP-REPLACE2-BAG-OF-STRUCS&LIST-STRUC-COMPOSE-IDENTITY&MAP-JOIN 
MR2-BAG-OF-STRU&BAG-OF-STRU-MAP-REPL-BAG-OF-STRU&LIST-STRU-COMP-IDEN&MAP
**-JOIN)

      (BAG-OF-STRUCS 
MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-COMPOSE-PROJ2&IDENTITY 
MR2-BAG-OF-STRU&BAG-OF-STRU-MAP-REPL-OSET-STRU&BAG-OF-STRU-COMP-PROJ&IDE
**N)

      (NON-EMPTY-STRUC PROJ2 
MAP-REPLACE2-NON-EMPTY-STRUC&NON-EMPTY-STRUC-PROJ2)
      (INT-NON-EMPTY-STRUC COMPOSE-PROJ2&IDENTITY 
MAP-REPLACE2-INT-NON-EMPTY-STRUC&INT-NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENT
**ITY)

      (OSET-STRUC COMPOSE-PROJ2&IDENTITY 
MAP-REPLACE2-OSET-STRUC&OSET-STRUC-COMPOSE-PROJ2&IDENTITY)
      (NON-EMPTY-STRUC COMPOSE-PROJ2&IDENTITY 
MAP-REPLACE2-NON-EMPTY-STRUC&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
      (SET-STRUC COMPOSE-PROJ2&IDENTITY 
MAP-REPLACE2-SET-STRUC&SET-STRUC-COMPOSE-PROJ2&IDENTITY)
 After eliminating duplicate and already-known entries,  AM finds that.
 all 15 new,  distinct examples of COA-MAP-REPLACE2 had to be added.



 Do-thresh raised from 347 to 352.

 This Cand used 90.268 cpu seconds.




 The top Cand is: Fill in some examples of Compose-identity&identity
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of 
COMPOSE-IDENTITY&IDENTITY ,  while trying to Fill in some 
Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of 
COMPOSE-IDENTITY&IDENTITY ,  while trying to Fill in some 
Map-join-bag-of-strucs&coa-proj2 examples)
      (We have no examples for COMPOSE-IDENTITY&IDENTITY yet)
      (Anyb-exs specifically asked for some examples of 
COMPOSE-IDENTITY&IDENTITY ,  while trying to Fill in some Obj-equal
examples)


      Beginning 32nd cycle.


 Record of attempts to find examples:
(COMPOSE-IDENTITY&IDENTITY-E-ALGS compiling)
(COMPOSE-IDENTITY&IDENTITY-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)

 An ex ( sought) is: RESTRICT-COA-LIST-STRUC-INTERSECT&NON-EMPTY-STRUC++
++++++++++++++++++++++++

 Found 26 examples ( and 0 non-exs),  in 4.21 secs.
 A nice ratio of exs/non-exs was encountered for 
COMPOSE-IDENTITY&IDENTITY
 Won't try to create a restricted interesting version of 
COMPOSE-IDENTITY&IDENTITY.

 Filled in examples of COMPOSE-IDENTITY&IDENTITY.
       0 examples existed originally on COMPOSE-IDENTITY&IDENTITY.
       26 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (RESTRICT-COA-LIST-STRUC-INTERSECT&NON-EMPTY-STRUC 
RESTRICT-COA-LIST-STRUC-INTERSECT&NON-EMPTY-STRUC)
      (COMPOSE-MAP-JOIN&IDENTITY COMPOSE-MAP-JOIN&IDENTITY)
      (MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2 MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2
**)

      (RESTRICT-COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-STRUC 
RESTRICT-COMPOSE-IDENTITY&IDENTITY&INT-NON-EMPTY-STRUC)
      (MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-JOIN)
      (PROJ2 PROJ2)
      (MAP-JOIN MAP-JOIN)
      (ANYB-DEFN-NEC ANYB-DEFN-NEC)
      ((OSET D M I F 0) (OSET D M I F 0))
      (MAP-REPLACE-BAG-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY 
MAP-REPLACE-BAG-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY)
      (MAP-REPLACE2-BAG-OF-STRUCS&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-BAG-OF-STRUCS&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
      (RESTRICT-MAP-REPLACE2-SET-OF-LISTS&BAG-OF-STRUCS-PROJ2&SET-STRUC
RESTRICT-MAP-REPLACE2-SET-OF-LISTS&BAG-OF-STRUCS-PROJ2&SET-STRUC)
      (INT-NON-EMPTY-STRUC INT-NON-EMPTY-STRUC)
      ((PAIR DON BRUCE) (PAIR DON BRUCE))
      (COMPOSE COMPOSE)
      (COMPOSE-IDENTITY&MAP-JOIN COMPOSE-IDENTITY&MAP-JOIN)
      (LIST-STRUC-INTERSECT LIST-STRUC-INTERSECT)
      (MAP-REPLACE-INT-NON-EMPTY-STRUC&COMPOSE-IDENTITY&IDENTITY 
MAP-REPLACE-INT-NON-EMPTY-STRUC&COMPOSE-IDENTITY&IDENTITY)
      (MAP-REPLACE-BAG-OF-STRUCS&IDENTITY 
MAP-REPLACE-BAG-OF-STRUCS&IDENTITY)
      ((BAG 0 D F I M) (BAG 0 D F I M))
      (MAP-REPLACE2 MAP-REPLACE2)
      (ANYB-SUGG ANYB-SUGG)
      (MAP-REPLACE2-BAG-OF-STRUCS&OSET-STRUC-COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-BAG-OF-STRUCS&OSET-STRUC-COMPOSE-IDENTITY&MAP-JOIN)
      (ORD-PAIR ORD-PAIR)
      (MAP-REPLACE2-OSET-STRUC&OSET-STRUC-COMPOSE-PROJ2&IDENTITY 
MAP-REPLACE2-OSET-STRUC&OSET-STRUC-COMPOSE-PROJ2&IDENTITY)
 After eliminating duplicate and already-known entries,  AM finds that.
 only 25 new,  distinct examples of COMPOSE-IDENTITY&IDENTITY had to be 
added.



 Do-thresh raised from 352 to 338.

 This Cand used 50.812 cpu seconds.




 The top Cand is: Fill in some examples of Int-compose
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of INT-COMPOSE
,  while trying to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of INT-COMPOSE
,  while trying to Fill in some Map-join-bag-of-strucs&coa-proj2 
examples)
      (We have no examples for INT-COMPOSE yet)
      (Anyb-exs specifically asked for some examples of INT-COMPOSE
,  while trying to Fill in some Obj-equal examples)


      Beginning 33rd cycle.

(INT-COMPOSE-E-DEFN compiling)
(INT-COMPOSE-E-DEFN (BA1 BA2 BA3) (BA4))
(COMPOSE-E-DEFN compiling)
(COMPOSE-E-DEFN (BA1 BA2 BA3) NIL)

GC: 8
 Walking at 22277  Load av. =  4.45, used 0:28:20.7 in 2:18:52
12995, 13506 FREE WORDS

 Name of new Being is too long:
 COM- 
MR2-BAG-OF-STRU&BAG-OF-STRU-MAP-REPL-BAG-OF-STRU&LIST-STRU-COMP-IDEN&MAP
**-JOIN
 & MAP-REPLACE-BAG-OF-STRUCS&COA-PROJ2

ATOM TOO LONG

(PACK broken)
:BT
PACK
ABBREV1
GLUE-IF-ABLE
GLUEC
ALREADY-COMPOSED
ERRORSET
SIMULT-SATISFY
INSTAN-1D
SOMEE
EVAL
REBB
APPLY
INSTAN-ACT-TRANS
INSTAN-1D
INSTAN-D
ANYB-EXS-E-FILLIN1
PROGN
APPLY
SELECTQ
ANYB-EXS
FILLIN1
FILLIN
EVAL
XEQ-CAND
TLOOP
**TOP**

:RETURN(PACK FRED2)
u.b.a.
FRED2
(PACK broken)
:RETURN(PACK 'FRED2)
PACK = NOBIND
ππππinterrupted before CAR

(CAR broken)
:BT
CAR
EVAL
INSTAN-ACT-TRANS
INSTAN-1D
INSTAN-D
ANYB-EXS-E-FILLIN1
PROGN
APPLY
SELECTQ
ANYB-EXS
FILLIN1
FILLIN
EVAL
XEQ-CAND
TLOOP
**TOP**

:OK
CAR

 Name of new Being is too long:
 COM- COMPOSE-IDENTITY&IDENTITY & 
COMPOSE-COMPOSE-IDENTITY&IDENTITY&COMPOSE-IDENTITY&IDENTITY

 Name of new Being is too long:
 COM- COMPOSE-COMPOSE-MAP-REPLACE&IDENTITY&COMPOSE-MAP-REPLACE&IDENTITY 
& COMPOSE-COMPOSE-IDENTITY&MAP-JOIN&COMPOSE-IDENTITY&MAP-JOIN

 Name of new Being is too long:
 COM- MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2 & 
MAP-REPLACE-BAG-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY
 Sorry, AM ran out of time, trying to find an example of
INT-COMPOSE, which by the way reduces to  COMPOSE, plus 2
 new conditions.

 Record of attempts to find examples:
(INT-COMPOSE-E-ALGS compiling)
(INT-COMPOSE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
----

 AM can later coalesce the D-R of COMPOSE-COMPOSE-PROJ2&IDENTITY&PROJ2.

 An ex ( sought) is: COMPOSE-COMPOSE-PROJ2&IDENTITY&PROJ2+----------

 AM can later coalesce the D-R of 
COMPOSE-INT-COMPOSE&COMPOSE-MAP-JOIN&IDENTITY.
+-----------
 Name of new Being is too long:
 COM- MAP-REPLACE-BAG-OF-STRUCS&COMPOSE-IDENTITY&IDENTITY & 
MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2
+--------------------
NON-NUMERIC ARG
NIL
in RMUL

(broken)
:BT
RMUL
TIMES1000
MAP2CAR
BLOWUP-COMPOSE
COM-ALGS
COMPOSE-E-ALGS
PROGN
APPLY
SELECTQ
COMPOSE
INT-COMPOSE-E-ALGS
PROGN
APPLY
SELECTQ
INT-COMPOSE
APPLYB
EVAL
AC-EXS-FILLIN1
ACTIVE-EXS-E-FILLIN1
PROGN
APPLY
SELECTQ
ACTIVE-EXS
FILLIN1
FILLIN
EVAL
XEQ-CAND
TLOOP
**TOP**

:RETFROM(RMUL 100)
+---------------
 Name of new Being is too long:
 COM- MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2 & 
MAP-REPLACE-BAG-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY
 Jogging at 431113  Load av. =  2.29, used 0:29:45.6 in 2:31:51
+-----------------

 AM can later coalesce the D-R of COMPOSE-COMPOSE&COMPOSE.
+-------------------------------------------
GC: 8
12025, 13047 FREE WORDS
---------+-----

 AM can later coalesce the D-R of COMPOSE-COA-COMPOSE&COMPOSE.
+

 Found 8 examples ( and 134 non-exs),  in 41.792 secs.
 A nice ratio of exs/non-exs was encountered for INT-COMPOSE
 Won't try to create a restricted interesting version of INT-COMPOSE.

 Filled in examples of INT-COMPOSE.
       0 examples existed originally on INT-COMPOSE.
       10 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed examples are:
      (IDENTITY IDENTITY COMPOSE-IDENTITY&IDENTITY)
      (MAP-JOIN MAP-REPLACE COMPOSE-MAP-JOIN&MAP-REPLACE)
      (COMPOSE-PROJ2&IDENTITY PROJ2 COMPOSE-COMPOSE-PROJ2&IDENTITY&PROJ2
**)

      (INT-COMPOSE COMPOSE-MAP-JOIN&IDENTITY 
COMPOSE-INT-COMPOSE&COMPOSE-MAP-JOIN&IDENTITY)
      (MAP-REPLACE-BAG-OF-STRUCS&COMPOSE-IDENTITY&IDENTITY 
MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2 
COM-MAP-REPL-BAG-OF-STRU&COMP-IDEN&IDEN&MAP-REPL-BAG-OF-STRU&INT-SET-STR
**U-PROJ)

      (COMPOSE-COA-COMPOSE&COA-COMPOSE INT-COA-COMPOSE 
COMPOSE-COMPOSE-COA-COMPOSE&COA-COMPOSE&INT-COA-COMPOSE)
      (MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2 
MAP-REPLACE-BAG-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY 
COM-MAP-REPL-BAG-OF-STRU&INT-SET-STRU-PROJ&MAP-REPL-BAG-OF-STRU&MAP-JOIN
**-BAG-OF-STRU&IDEN)

      (COMPOSE COMPOSE COMPOSE-COMPOSE&COMPOSE)
      (IDENTITY COMPOSE-IDENTITY&IDENTITY 
COMPOSE-IDENTITY&COMPOSE-IDENTITY&IDENTITY)
      (COA-COMPOSE COMPOSE COMPOSE-COA-COMPOSE&COMPOSE)
 After eliminating duplicate and already-known entries,  AM finds that.
 all 10 new,  distinct examples of INT-COMPOSE had to be added.



 Do-thresh raised from 338 to 347.

 This Cand used 102.251 cpu seconds.




 The top Cand is: Fill in some examples of 
Map-replace2-set-struc&non-empty-struc-structure-delete
       The 4 reasons are:
      (Anyb-exs specifically asked for some examples of 
MAP-REPLACE2-SET-STRUC&NON-EMPTY-STRUC-STRUCTURE-DELETE ,  while trying
to Fill in some Compose-first&final examples)
      (Anyb-exs specifically asked for some examples of 
MAP-REPLACE2-SET-STRUC&NON-EMPTY-STRUC-STRUCTURE-DELETE ,  while trying
to Fill in some Map-join-bag-of-strucs&coa-proj2 examples)
      (We have no examples for 
MAP-REPLACE2-SET-STRUC&NON-EMPTY-STRUC-STRUCTURE-DELETE yet)
      (Anyb-exs specifically asked for some examples of 
MAP-REPLACE2-SET-STRUC&NON-EMPTY-STRUC-STRUCTURE-DELETE ,  while trying
to Fill in some Obj-equal examples)


      Beginning 34th cycle.


GC: 28